Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
51	Languages as Libraries Sam Tobin-Hochstadt Vincent St-Amour Ryan Culpepper Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 14:59:59 Functional languages Type theory Source code Lisp programming language Racket Macro Programming language Type safety Type system Software engineering Computing Computer programming
52	Microsoft PowerPoint - mnet_10_Resilience_2011ppt [Kompatibilitätsmodus] Add to Reading List Source URL: www.net.in.tum.de Language: English - Date: 2011-02-11 09:15:03 Systems engineering Dependability Quality Safety Safety engineering Fault-tolerant system Reliability engineering Psychological resilience Resilience Computing Security Software quality
53	Integration with Data Loss Prevention (DLP) Controlled Document Collaboration with DLP Remediation and Discovery Add to Reading List Source URL: info.watchdox.com Language: English - Date: 2015-07-18 21:16:44 Information technology management Document management system Information security Public safety Computing Computer security Security Data loss prevention software
54	The HIMA HIMax Is Achilles Certified! June 23, 2010 The Wurldtech certification team is pleased to announce the 20th Achilles certified industrial control system. The HIMax safety controller from HIMA has achieved the in Add to Reading List Source URL: www.wurldtech.com Language: English - Date: 2015-07-15 01:28:12 Evaluation Computer network security Standards Hacking Vulnerability Certification Software testing Cyberwarfare Computer security
55	NEW Look out for the National Mining Chronicle Next edition you’ll read a Add to Reading List Source URL: myresources.com.au Language: English - Date: 2015-06-09 01:38:43 X Window System Goldfields-Esperance Software Mining Occupational safety and health
56	A Semantic Analysis of C++ Templates ? Jeremy Siek and Walid Taha , Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2006-08-17 16:43:13 Programming language theory Typedef Typename Type safety Template Struct Symbol Type system ALGOL 68 Software engineering C++ Computing
57	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:39 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
58	NKS/DIGREL Related activities at VTT Project seminar, September 14, 2010 Jan-Erik Holmberg VTT Technical Research Centre of Finland Add to Reading List Source URL: www.nks.org Language: English - Date: 2010-10-25 08:54:59 Systems engineering Engineering Design for X Safety Nuclear power stations Reliability engineering Nuclear power plant Automation Life-critical system Energy Technology Software quality
59	Verified Compilers for a Multi-Language World∗ Amal Ahmed Northeastern University Abstract Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 22:37:06 Type theory Procedural programming languages Compiler construction Cross-platform software Functional languages LLVM Type system Compiler Type safety Software engineering Computing Programming language theory

UPDATE